Synchronization and Linearity: An Algebra for Discrete Event Systems.

Synchronization and Linearity: an Algebra for Discrete Event Systems

Recent Developments in Discrete Event Systems

This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...

Decentralized prognosis of fuzzy discrete-event systems

This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...

Model predictive control for discrete event systems with partial synchronization

In this paper, we consider discrete event systems divided in a main system and a secondary system such that the inner dynamics of each system is ruled by standard synchronizations and the interactions between both systems are expressed by partial synchronizations (i.e., event e2 can only occur when, not after, event e1 occurs) of events in the secondary system by events in the main system. The ...

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...